منابع مشابه
NF - 07 - 1 - 0216 52555 - MA - MUR . 15 Conference Proceeding
Sorry Dave, I'm afraid I can't do that: Explaining unachievable robot tasks using natural language Report Title This paper addresses the challenge of enabling non-expert users to command robots to perform complex highlevel tasks using natural language. It describes an integrated system that combines the power of formal methods with the accessibility of natural language, providing correct-by-con...
متن کاملUsing Magnetic Disk instead of Main Memory in the Mur '
In veri cation by explicit state enumeration a randomly accessed state table is maintained. In practice, the total main memory available for this state table is a major limiting factor in veri cation. We describe a version of the explicit state enumeration veri er Mur' that allows the use of magnetic disk instead of main memory for storing almost all of the state table. The algorithm avoids cos...
متن کاملUsing Magnetic Disk Instead of Main Memory in the Mur' Veriier
In veriication by explicit state enumeration a randomly accessed state table is maintained. In practice, the total main memory available for this state table is a major limiting factor in veriication. We describe a version of the explicit state enumeration veriier Mur' that allows using magnetic disk instead of main memory for storing almost all of the state table. The algorithm avoids costly r...
متن کاملRmo Description in Mur'
(d2) calls Dep Reg() which returns true if the preceding instruction is writing the same register that is read by the following instruction (strictly speaking, the same temporary location in register renaming scheme). Note that the dependence through the condition code register is checked separately, since branch instructions read the condition code register which is modified by such instructio...
متن کاملParallelizing the Mur' Veriier
With the use of state and memory reduction techniques in veri cation by explicit state enumeration, runtime becomes a major limiting factor. We describe a parallel version of the explicit state enumeration veri er Mur' for distributed memory multiprocessors and networks of workstations that is based on the message passing paradigm. In experiments with three complex cache coherence protocols, pa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: European Journal of International Law
سال: 2015
ISSN: 0938-5428,1464-3596
DOI: 10.1093/ejil/chv064